21. A course in mathematical logic
پدیدآورنده : / YU. I. Manin
کتابخانه: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع : Logic, symbolic and mathematical
رده :
511
.
3
M278
22. A course in mathematical logic
پدیدآورنده : Manin, IU. I.
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
M296
23. A course in mathematical logic
پدیدآورنده : Manin, IUrii Ivanovich, 7391-
کتابخانه: (طهران)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
M273
24. A course in mathematical logic
پدیدآورنده : Manin, IU. I.
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
M296
25. <A> course in mathematical logic
پدیدآورنده : / by J. L. Bell and M. Machover
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه علامه طباطبایی (طهران)
موضوع :
رده :
QA9
،.
B46
1977
26. <A> course in mathematical logic
پدیدآورنده : / Yu. I. Manin
موضوع :
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
27. A course in mathematical logic for mathematicians
پدیدآورنده : Yu. I. Manin ; chapters I-VIII translated from the Russian by Neal Koblitz ; with new chapters by Boris Zilber and Yuri I. Manin
کتابخانه: کتابخانه مرکزی دانشگاه یاسوج (محمد بهمن بیگی) (کهکیلویة و بویرأحمد)
موضوع : Logic, Symbolic and mathematical,Einfeuhrung., swd,Mathematische Logik., swd
رده :
511
,.
3
,.
M296
,
2010
28. A course in mathematical logic for mathematicians
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Logic, Symbolic and mathematical. ; Einf?hrung. ; swd. ; Mathematische Logik. ; swd. ;
29. <A> course in mathematical logic for mathematicians
پدیدآورنده : \ Yu. I. Manin; chapters I-VIII translated from the Russian by Neal Koblitz ; with new chapters by Boris Zilber and Yuri I. Manin.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic, Symbolic and mathematical.,منطق ریاضی
رده :
E-Book
,
30. A course in mathematical logic for mathematicians
پدیدآورنده : / Yu. I. Manin
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Logic, Symbolic and mathematical
رده :
QA9
.
M29613
2010
31. A course in model theory : an introduction to contemporary mathematical logic
پدیدآورنده : Poizat, Bruno
کتابخانه: (طهران)
موضوع : ، Model theory
رده :
QA
9
.
7
.
P63
32. A course in model theory: an introduction to contemporary mathematical logic
پدیدآورنده : Poizat, Bruno
موضوع : ، Model theory
۳ نسخه از این کتاب در ۲ کتابخانه موجود است.
33. A course on mathematical logic
پدیدآورنده : Srivastava, Shashi Mohan
کتابخانه: (طهران)
موضوع : Textbooks ، Logic, Symbolic and mathematical,، Godel's theorem
رده :
QA
9
.
S684C6
2013
34. A course on mathematical logic
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Logic, Symbolic and mathematical. ;
35. A course on mathematical logic
پدیدآورنده : Srivastava, Shashi Mohan
کتابخانه: (طهران)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
S684C6
36. A course on mathematical logic
پدیدآورنده : Shashi Mohan Srivastava
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical
رده :
QA9
.
S65
2013
37. A first course in mathematical logic and set theory /
پدیدآورنده : Michael L. O'Leary
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical,Mathematics,Set theory
رده :
QA9
38. A friendly introduotion to mathematical Logic
پدیدآورنده : / Christopher C. Leary
موضوع : منطق ک‍ام‍پ‍ی‍وت‍ری,منطق ریاضی
۲ نسخه از این کتاب در ۱ کتابخانه موجود است.
39. A friendly introduction to mathematical logic
پدیدآورنده : Leary, Christopher C.
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (طهران)
موضوع : ، Computer logic,، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
L63
L43
2000
40. A friendly introduction to mathematical logic /
پدیدآورنده : Christopher C. Leary
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer logic,Logic, Symbolic and mathematical
رده :
QA76
.
9
.
L63
L43
2000
